Concurrency computer science) - PDFSEARCH.IO - Document Search Engine

Concurrency computer science)
Results: 359

#	Item
341	Systematic Testing for Detecting Concurrency Errors in Erlang Programs Maria Christakis∗ , Alkis Gotovos∗ and Konstantinos Sagonas†‡ ∗ Department of Computer Science, ETH Zurich, Switzerland Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2013-03-31 13:50:46 Erlang Scheduling Interleaving Lock Communications protocol Actor model Thread Preemption Software testing Computing Concurrent computing Computer programming
342	The Little Book of Semaphores Allen B. Downey Version 2.1.2 Add to Reading List Source URL: greenteapress.com Language: English - Date: 2008-03-19 09:05:35 Semaphore Readers-writers problem Producer-consumer problem Dining philosophers problem Cigarette smokers problem Mutual exclusion Software design pattern Deadlock Thread Concurrency Computing Computer science
343	A Design Framework for Highly Concurrent Systems Matt Welsh, Steven D. Gribble, Eric A. Brewer, and David Culler Computer Science Division Add to Reading List Source URL: www.eecs.harvard.edu Language: English - Date: 2003-03-27 14:16:49 Computer programming Threads Thread pool pattern Thread Non-blocking algorithm Scheduling Asynchronous I/O Event-driven programming Parallel computing Computing Concurrent computing Concurrency control
344	Event-driven Programming for Robust Software Frank Dabek, Nickolai Zeldovich, Frans Kaashoek, David Mazi`eres, Robert Morris MIT Laboratory for Computer Science Add to Reading List Source URL: www.scs.stanford.edu Language: English - Date: 2002-07-02 17:46:05 Thread Concurrency control Callback Asynchronous I/O Kernel Parallel computing Scheduling Critical section Concurrent data structure Computing Computer programming Concurrent computing
345	Microsoft PowerPoint - ESWEEK08-final-pdf.ppt Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:30 Computer science Concurrency Model checking Logic in computer science Correctness Temporal logic Software development process Formal verification Formal methods Theoretical computer science Applied mathematics
346	Confirmation of Deadlock Potentials Detected by Runtime Analysis Saddek Bensalem Add to Reading List Source URL: www.havelund.com Language: English - Date: 2006-06-05 17:22:17 Theoretical computer science Concurrency Software bugs Logic in computer science Transaction processing Deadlock Lock Parallel computing Thread Computing Concurrency control Computer programming
347	The Birth of Model Checking Edmund M. Clarke [removed] Add to Reading List Source URL: www.model.in.tum.de Language: English - Date: 2008-03-26 08:39:11 Formal methods Model checkers Turing Award laureates Proof theory Model checking Formal verification Temporal logic Edmund M. Clarke Concurrency Logic Theoretical computer science Mathematics
348	Compiling Concurrency Correctly Verifying Software Transactional Memory Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-07-27 06:01:07 Transaction processing Concurrency control Programming language semantics Logic in computer science Programming language implementation Denotational semantics Software transactional memory Transactional memory Haskell Computing Software engineering Theoretical computer science
349	Relationships between Models of Concurrency Mogens Nielsen∗ Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2000-09-12 07:39:17 Abstract algebra State transition system Petri net Structure Determinism Model theory Trace monoid Denotational semantics Communicating sequential processes Models of computation Mathematics Theoretical computer science
350	PDF Document Add to Reading List Source URL: www.accs.uq.edu.au Language: English - Date: 2007-04-16 17:42:08 Petri net Behavior Trees Computer science Software engineering Systems science Tango tree Binary search tree Models of computation Concurrency Diagrams

UPDATE